Physical systems

Results: 4908



#Item
51

RT-­‐Xen:  Real-­‐Time  Virtualiza2on   Chenyang  Lu   Cyber-­‐Physical  Systems  Laboratory   Department  of  Computer  Science  and  Engineering  

Add to Reading List

Source URL: www.cse.wustl.edu

- Date: 2015-04-19 13:29:04
    52

    1st IFAC Conference on Cyber-Physical&Human-Systems 7-9 December 2016, Florianopolis, Brazil www.cphs2016.org

    Add to Reading List

    Source URL: www.web-events.net

    - Date: 2016-06-08 09:53:36
      53

      ThreadX® Modules Ease Memory Constraints in Small Embedded Systems Concern over physical size, power consumption and battery life place constraints on memory in deeply embedded systems. These constraints can be eased by

      Add to Reading List

      Source URL: rtos.com

      - Date: 2016-08-23 13:52:41
        54

        Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

        Add to Reading List

        Source URL: nigam.info

        - Date: 2016-05-07 12:12:43
          55

          Neural Networks and Physical Systems with Emergent Collective Computational Abilities J. J. Hopfield PNAS 1982;79;doi:pnasThis information is current as of DecemberThis article has bee

          Add to Reading List

          Source URL: bi.snu.ac.kr

          - Date: 2015-11-23 20:34:33
            56

            Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

            Add to Reading List

            Source URL: mys5.org

            - Date: 2016-07-21 00:38:00
              57

              Time-Based Intrusion Detection in Cyber-Physical Systems Christopher Zimmer, Balasubramany Bhat, Frank Mueller Sibin Mohan Dept. of Computer Science Dept. of Computer Science North Carolina State University, Raleigh, NC

              Add to Reading List

              Source URL: moss.csc.ncsu.edu

              - Date: 2010-03-29 18:00:23
                58

                Hatrick: A System for Real-time Threat Detection in Cyber Physical Systems Charith Wickramaarachchi, Alok Kumbhare Charalampos Chelmis, Marc Frincu and Viktor K. Prasanna

                Add to Reading List

                Source URL: ganges.usc.edu

                - Date: 2016-02-11 18:13:02
                  59

                  Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , ,

                  Add to Reading List

                  Source URL: ucsd-pl.github.io

                  - Date: 2016-10-03 11:54:14
                    60

                    A Theory of Depiction for Sketches of Physical Systems Kate Lockwood, Andrew Lovett, Ken Forbus, Morteza Dehghani and Jeff Usher Northwestern University, Qualitative Reasoning Group 2145 Sheridan Road Room L359, Evanston

                    Add to Reading List

                    Source URL: silccenter.org

                    - Date: 2010-05-15 14:34:58
                      UPDATE